Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·16h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2h
🧮Programming Language Theory
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Nonmonotonic Logic
cambridge.org·5d·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
🔄Category Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧭SMT Solvers
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Math's New Muse: How AI is Amplifying Human Intuition by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·4h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
On This Dayin Math - November 2
pballew.blogspot.com·10h·
Discuss: www.blogger.com
🧮Programming Language Theory
Flag this post
A systems-theoretic approach for identifying security vulnerabilities in machine learning-enhanced industrial control systems
sciencedirect.com·18h
🔐Cryptography
Flag this post
The case against boolean logic
abuseofnotation.github.io·2d·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Viruses of the Mind
grokipedia.com·2h·
Discuss: Hacker News
🔄Category Theory
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·6h·
Discuss: r/AskProgramming
🎲Probabilistic Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
LLM-generated text is not testimony
lesswrong.com·1d
🧮Programming Language Theory
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·17h·
Discuss: DEV
🔗Parser Combinators
Flag this post